منابع مشابه
Remarques sur les Langages de Parenthèses
La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la f...
متن کاملEspaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact
We define the notion of rational presentation of a complete metric space, in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some representations of the space C[0, 1] of uniformly continuous real functions over [0,1] with the usual norm : ‖ f ‖∞= Sup{| f(x) |; 0 ≤ x ≤ 1}. This allows us to have a comparison of global kind between complexity ...
متن کاملSur le groupe d’interpolation
Résumé : Nous étudions le groupe d’interpolation dont les éléments sont certaines paires de séries formelles. Ce groupe possède une représentation linéaire fidèle dans les matrices triangulaires inférieures infinies. On peut donc le munir d’une structure de groupe de Lie naturelle. Une fonction reliée à l’exponentielle matricielle entre son algèbre de Lie et sa représentation linéaire étend alo...
متن کاملDeux Remarques sur un Théorème de S. Eilenberg
— We give hère a proof of the « cross section theorem » that is slightly différent from the original one. This allows us not only to show the existence of a rational cross section ofany rational set but also to describe such a cross section by means ofthe lexicographie ordering of the words. With some examples we also show that if we use the ordering ofwords by length, instead of the lexicograp...
متن کاملLe rôle des métriques d'évaluation dans le processus de recherche en TAL
Research in natural language processing (NLP) has both scientific and technological dimensions. In both cases, it is necessary to evaluate the implemented systems in order to assess the success of a study. This article, grounded in the ISO framework for software evaluation, introduces a typology of NLP systems based on the role of language as input or output data, in order to analyze the centra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studi Francesi
سال: 2005
ISSN: 0039-2944,2421-5856
DOI: 10.4000/studifrancesi.32643